Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
311	IMPLEMENTING DIRECT REFLECTION IN NUPRL A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: barzilay.org Language: English - Date: 2005-09-14 17:08:59 Grammar Philosophy of language Type theory Automated theorem proving Nuprl Syntax Semantics Meaning Reflection Mathematical logic Web Ontology Language
312	Section A For questions 1-60, choose the correct answer. Mark the letter A, B, C or D as in the example Add to Reading List Source URL: www.sjo.wat.edu.pl Language: English - Date: 2016-03-23 06:14:54 Order theory Ordered pair Type theory The Chitling test Leibniz integral rule
313	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type
314	CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-17 14:01:34 Functional languages Procedural programming languages Subroutines Functional programming Type theory ML Monad Scope Recursion Standard ML Nested function HindleyMilner type system
315	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
316	A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2015-09-03 07:24:29 Model theory First-order logic Type Hoare logic Unification
317	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
318	The F# 2.0 Language Specification Note: This documentation is the specification of the 2.0 release of F# made by Microsoft Research and the Microsoft Developer Division in AprilDiscrepancies may exist between this Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Type systems Type theory F Sharp Microsoft Research Strong and weak typing Expression C Operator Pattern matching C Sharp syntax
319	EIGENVALUE STATISTICS FOR CMV MATRICES: FROM POISSON TO CLOCK VIA RANDOM MATRIX ENSEMBLES. ROWAN KILLIP AND MIHAI STOICIU Abstract. We study CMV matrices (discrete one-dimensional Dirac-type operators) with random decay Add to Reading List Source URL: sites.williams.edu Language: English - Date: 2012-08-22 10:38:22 Operator theory Mathematical physics Random matrices Algebra of random variables Probability theory Random matrix Operator Matrix Circular ensemble Spectral theory of ordinary differential equations
320	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification

UPDATE